Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Compressed data structures for Heegaard splittings
arxiv.org·12h
🕳️Persistent Homology
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·2d
🏗️Constructive Mathematics
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
A Poet Completes the Square
denisegaskins.com·3h
⚔️Lean Tactics
What can we expect of LLMs as Software Engineers?
chelseatroy.com·1d
📝Text Parsing
Checking data integrity
eclecticlight.co·9h
✅Checksum Validation
Row Polymorphic Programming
stranger.systems·2d·
Discuss: Lobsters, Hacker News, r/programming
🧮Algebraic Datatypes
Historical highlights?
logicmatters.net·1d
🔀Category Theory
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·22h
🎯Gradual Typing
Categorical Features: The Backbone of Search & Recs Engineering
shaped.ai·1d
🧠Learned Indexing
Parsing Safetensors File Format in C
leetarxiv.substack.com·1d·
Discuss: Substack, r/programming
✅Format Verification
Cactus Language • Stylistics 4
inquiryintoinquiry.com·1d
🌳Context free grammars
Binary Search in a 2D Matrix
mmhaskell.com·2d
📐Error Bounds
A Rust Shaped Hole
mnvr.in·1d·
Discuss: Hacker News
🦀Rust Macros
All About Server Side Template Injection (SSTI)
infosecwriteups.com·5h
🛡️WASM Security
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·1d
🦀Rust Verification
Adding lookbehinds to rust-lang/regex
systemf.epfl.ch·1d·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·18h·
Discuss: Hacker News
🎯Interactive Provers
Inheritance over composition, sometimes
death.andgravity.com·1d
🦀Rust Macros